Feeds to Scour
SubscribedAll
Scoured 257038 posts in 9.41 s
JavaScript vs Go: A Deep Dive into Syntax and Philosophy
dev.to·7h·
Discuss: DEV
🔧Nickel
Preview
Report Post
Treating Functions as Vectors in Hilbert Space
hackaday.com·1d
λLambda Calculus
Preview
Report Post
Error Bounds in a Smooth Metric for Brownian Approximation of Dynamical Systems via Stein’s Method | Journal of Statistical Physics
link.springer.com·1d
⚡Fusion Laws
Preview
Report Post
Resolving Names Once and for All
thunderseethe.dev·1d·
Discuss: r/programming
🔗Lexical Scoping
Preview
Report Post
AI-Driven Formal Theorem Proving in the Lean Ecosystem
leandojo.org·1d
🧮Theorem Provers
Preview
Report Post
C Right-Left Rule (Rick Ord's CSE 30
cseweb.ucsd.edu·1d
🪄C Metaprogramming
Preview
Report Post
GHC 9.12.3 is now available
haskell.org·1d
📏Linear Haskell
Preview
Report Post
Space of programs (calculus of programming in llms)
reddit.com·2d·
Discuss: r/LLM
🔬programming language theory
Preview
Report Post
Pokémon Team Optimization
nchagnet.pages.dev·2d·
Discuss: Hacker News
🧩Constraint Solvers
Preview
Report Post
Keeping Probabilities Honest: The Jacobian Adjustment
towardsdatascience.com·2d
🔄Loop Optimization
Preview
Report Post
What F# Knows About Functors and What Comes Next
dev.to·1d·
Discuss: DEV
🎯Type Theory
Preview
Report Post
Help me solve this problem
reddit.com·1d·
Discuss: r/C_Programming
📚Stack Allocation
Preview
Report Post
Analytic and Variational Stability of Deep Learning Systems
arxiv.org·2d
⚡Control Synthesis
Preview
Report Post
My Coding Adventures in 2025
susam.net·4d·
Discuss: Hacker News
🌱Minimal Interpreters
Preview
Report Post
Complete Ergodicity in One-Dimensional Reversible Cellular Automata | Journal of Statistical Physics
link.springer.com·1d
🧮Combinator Calculus
Preview
Report Post
Fixing unwanted creases in sheets
bradfordera.com·2d
✨Code Formatting
Preview
Report Post
the pile of books on my desk
lollar.bearblog.dev·2d
📐Mathematical Computing
Preview
Report Post
Issue 504
haskellweekly.news·2d
⚡functional programming
Preview
Report Post
georgeguimaraes/alike: Semantic similarity testing for Elixir. Test LLM outputs, chatbots, and NLP in Elixir
github.com·4d
🧪Parser Testing
Preview
Report Post
Learn TypeScript in Y Minutes
learnxinyminutes.com·3d
🔧API Design
Preview
Report Post